#ifndef __KEY_TI_H__
#define __KEY_TI_H__

#include  "stm32mp1xx_gpio.h"
#include "stm32mp1xx_rcc.h"
#include "stm32mp1xx_exti.h"
#include "stm32mp1xx_gic.h"


void hal_gpio_IT_init(void);
void hal_exti_IT_init(void);
void hal_gic_IT_init(void); 

#endif 
